121. Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings
پدیدآورنده : George J. Milne, Laurence Pierre )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
683
122. Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings
پدیدآورنده : CHARME '39 )3991: Arles, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Integrated circuits-- Design and construction-- Data processing-- Congresses,، Integrated circuits-- Verification-- Congresses,، Computer-aided design-- Congresses
رده :
TK
7874
.
C55
1993
123. Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME'95 Frankfurt, Germany, October 1995 : proceedings
پدیدآورنده : Paolo E. Camurati, Hans Eveleing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
987
124. Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
پدیدآورنده : Daniel Geist, Enrico Tronci, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2860
125. Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
75
.
C453
2001
126. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Tom Melham )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2144
127. Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings
پدیدآورنده : Dominique Borrione, Wolfgang Paul )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
3725
128. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
پدیدآورنده : Pierre Laurence, Thomas Kropf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1703
129. Correct hardware design methodologies
پدیدآورنده : / Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
130. Curves and Surfaces
پدیدآورنده : \ [edited by] Jean-Daniel Boissonnat...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer graphics -- Congresses.,Computer-aided design -- Congresses.,Curves, Algebraic -- Data processing -- Congresses.,گرافیک کامپیوتری -- کنگره‌ها ,طراحی به کمک کامپیوتر -- کنگره ها ,منحنی‌های جبری -- داده پردازی -- کنگره ها
رده :
T
385
.
C8
2015
E-Book
,
131. Curves and surfaces in CAGD'89:Proceedings of a conference held at the mathematisches forschungsinstitut oberwolfach.F.R.G.,16-22 april 1989
پدیدآورنده : Organized by R.E.Barnhil.W.Boehm,and.J.Hoschek:edited by Robert E.barnhill.wolfgang boehm.josef hosef hoschek
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Curves,Algebraic-data processing--congresses,، Surfaces-data processesing--congresses,، Computer-aided design--congresses
رده :
QA
567
.
C87
1990
132. Design Computing and Cognition ’12
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided design > Congresses. Engineering design > Data processing > Congresses. Architectural design > Data processing > Congresses.
رده :
E-Book
,
133. Design Education :+Game
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design ; Congresses. ; -Computer
134. Design automation conference (ASME) (13th
پدیدآورنده : / Spensored by the design automation committee of the design engineering division,ASME
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Engineering design data processing congresses,Computer aided design congresses,Mechanical engineering data precessing congresses
رده :
TA
174
.
D462
1989
135. Design automation conference (ASME) (13th
پدیدآورنده : / Spensored by the design automation committee of the design engineering division,ASME
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Engineering design data processing congresses,Computer aided design congresses,Mechanical engineering data precessing congresses
رده :
TA
174
.
D462
1989
136. Design computing and cognition '1
پدیدآورنده : John S. Gero, Editor
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer-aided design, Congresses,، Engineering design, Data processing, Congresses,، Architectural design, Data processing, Congresses,، COMPUTERS / CAD-CAM, bisacsh
رده :
TA
174
.
D47
2011
137. Design computing and cognition '18 /
پدیدآورنده : John S. Gero, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Architectural design-- Data processing, Congresses.,Cognition, Congresses.,Computer-aided design, Congresses.,Engineering design-- Data processing, Congresses.,Architectural design-- Data processing.,Cognition.,Computer-aided design.,Engineering design-- Data processing.
رده :
TA174
138. Design computing and cognition '06 /
پدیدآورنده : edited by John S. Gero.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cognition, Congresses.,Computer-aided design, Congresses.,Cognition.,Computer-aided design.,COMPUTERS-- CAD-CAM.,Ingénierie.
رده :
TA174
.
I58
2006eb
139. Design computing and cognition '1
پدیدآورنده : / John S. Gero, Editor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer-aided design, Congresses,Engineering design, Data processing, Congresses,Architectural design, Data processing, Congresses,Electronic books., local
رده :
TA174
.
D47
2011
140. Design computing and cognition '1
پدیدآورنده : / John S. Gero, Editor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer-aided design, Congresses,Engineering design, Data processing, Congresses,Architectural design, Data processing, Congresses,COMPUTERS / CAD-CAM, bisacsh
رده :
E-BOOK
